<div id="navigation">
<ul>
<li <?php if(basename($_SERVER['PHP_SELF']) == 'today.php' || basename($_SERVER['PHP_SELF']) == 'registro_classe.php') print "class='selected'" ?>><a href="today.php">Registro</a></li>
<li <?php if(basename($_SERVER['PHP_SELF']) == 'stats.php') print "class='selected'" ?>><a href="stats.php">Statistiche</a></li>
<li <?php if(basename($_SERVER['PHP_SELF']) == 'notes.php') print "class='selected'" ?>><a href="notes.php">Note disciplinari</a></li>
<li><a href="../index.php">Home docenti</a></li>
<li><a href="/do_logout.php">Esci</a></li>
</ul>
</div>